201. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
202. Language and Automata Theory and Applications
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
203. Language and Automata Theory and Applications :
پدیدآورنده: Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
204. Language and automata theory and applications
پدیدآورنده: \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
205. Language and automata theory and applications
پدیدآورنده: Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
206. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
207. Languages and machines :
پدیدآورنده: Thomas A. Sudkamp
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
208. Languages and machines: an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
209. Languages and machines; an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1988
210. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S93L2
2006
211. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: / Thomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Formal languages,Machine theory,Computational complexity
رده :
004
.
20
S943l
212. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Formal languages , Machine theory , Computational complexity
رده :
QA
267
.
3
.
S83
1997
213. Languages and machines: an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
214. Languages and machinesL an intrduction to the theory of computer science
پدیدآورنده: / Thomas A. Sudkamp,Sudkamp
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Formal languages,Machine theory,Computational complextiy
رده :
QA
267
.
3
.
S83
1997
215. Languages & machines:an introduction to the theory of computer
پدیدآورنده: SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
216. Lecons sur la theorie des automates mathematiques
پدیدآورنده: Boucher, Claude
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
B68
217. Leveraging applications of formal methods, verification and validation :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
218. Machines, languages, and computation
پدیدآورنده: Denning, Peter J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
D45
219. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
220. Mathematical foundations of computer science
پدیدآورنده: edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
